SEIR 34
id_total, 0.388857991
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.010953265
id_inclusion_check_mod_p, 0.0046806650000000005
id_groebner_time, 0.061674458
id_beautifulization, 0.09280166
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 107.0
